#include <iostream>
using namespace std;

int main()
{
	unsigned int A, B, C;
	cin >> A >> B >> C;
	unsigned int D = 0;
	D = (unsigned int)(A * 0.2 + B * 0.3 + C * 0.5);
	cout << D << endl; 
	return 0;
}

